Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
821	CHAPTER 1 Logical Foundations 1.1 Add to Reading List Source URL: myslu.stlawu.edu Language: English - Date: 2010-09-28 14:16:21 Semantics Truth table Negation Logical connective Entailment Tautology Exclusive or Validity Logical equivalence Logic Propositional calculus Boolean algebra
822	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.uni-altai.ru Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
823	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
824	Probabilistic Cost Enforcement of Security Policies Yannis Mallios1 , Lujo Bauer1 , Dilsun Kaynar1 , Fabio Martinelli2 , and Charles Morisset3 1 2 Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2013-08-04 12:37:28 Models of computation Probability theory Boolean algebra Measure theory Sigma-algebra Parity of a permutation Finite-state machine Nondeterministic finite automaton Mathematics Automata theory Mathematical analysis
825	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.yazd.ac.ir Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
826	Package ‘bitops’ July 2, 2014 Version 1.0-6 Date 2013-08-17 Author S original by Steve Dutky initial R port and extensions by Martin Maechler; revised and modified by Steve Dutky Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 11:22:07 Binary arithmetic Boolean algebra Linear algebra Cksum Bitwise operation Exclusive or Euclidean vector Cyclic redundancy check Mask Algebra Mathematics Abstract algebra
827	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: tug.ctan.org Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
828	Asyn hronous Te hniques for VLSI System Design Alain J. Martin and Mika Nystr om Department of Computer S ien e California Institute of Te hnology Add to Reading List Source URL: www.async.caltech.edu Language: English - Date: 2013-01-14 19:29:14 Algebraic logic Boolean algebra Independence
829	TREC-2006 at Maryland: Blog, Enterprise, Legal and QA Tracks Douglas Oard,§∗ Tamer Elsayed,† Jianqiang Wang,‡ Yejun Wu,§ Pengyi Zhang,§ Eileen Abels,¶ Jimmy Lin,§∗ and Dagbert Soergel§ University of Marylan Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2011-09-07 18:41:21 Vector space model Search engine indexing Search engine Document classification Boolean algebra Concept Search Document retrieval Information science Information retrieval Relevance
830	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ctan.usu.ru Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic

UPDATE